위키 홈 Edit 곱 타입 타입 이론에서 곱 타입이란 두 개 이상의 타입이 값을 동시에 담을 수 있는 타입을 말한다. C 언어에서는 struct로 곱 타입을 정의한다. See also Sum type: 곱 타입의 쌍대